Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
551	Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Combinatory logic Lambda calculus Logic in computer science Futures and promises Evaluation strategy Monitor Forward contract Contract Computing Theoretical computer science Software engineering
552	Installation After command: #include "lmc_tween.as" for ActionScript 2.0 (runs fine on Flash Player 6) or #include "lmc_tween_as1.as" for ActionScript 1.0 you can use following methods for every MovieClip: MovieClip.twee Add to Reading List Source URL: laco.wz.cz Language: English - Date: 2007-05-21 02:35:31 Subroutines Cross-platform software Adobe Flash Scripting languages Lambda calculus ActionScript Apply Typeof Parameter Software engineering Computing Software
553	A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Computing Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system Simply typed lambda calculus Denotational semantics Type theory Software engineering Theoretical computer science
554	Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling Makoto Kanazawa National Institue of Informatics Tokyo, Japan http://research.nii.ac.jp/˜kanazawa/ Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-29 20:41:55 Mathematics Applied mathematics Categorial grammar Lambda calculus Context-sensitive grammar Orbifold Formal languages Theoretical computer science Models of computation
555	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
556	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
557	λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Computability theory Theory of computation Lambda calculus Formal methods Models of computation Combinatory logic Church–Turing thesis Turing machine Entscheidungsproblem Mathematics Theoretical computer science Mathematical logic
558	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
559	Perl versiondocumentation - perlref NAME perlref - Perl references and nested data structures NOTE Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:45:32 Perl Data types Subroutines Anonymous function Functional programming Lambda calculus Perl module Eval Closure Software engineering Computing Computer programming
560	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory

UPDATE